wayland: Use event->key.time for setting key event time
authorKristian Høgsberg <krh@bitplanet.net>
Mon, 26 May 2014 21:45:21 +0000 (14:45 -0700)
committerKristian Høgsberg <krh@bitplanet.net>
Tue, 27 May 2014 17:24:34 +0000 (10:24 -0700)
commit6cd26e09392d9ea68d21daa9c68b0c03d3664cbc
treee541d136f345e4ebb2e831584af4113259051cfa
parent544e1ac1d18c6479acba4ceede084bb24b3a9aa6
wayland: Use event->key.time for setting key event time

We were using event->button.time before. That works because it's part of
the common event header, but it's wrong.
gdk/wayland/gdkdevice-wayland.c